package datatypes.r2.foundation;

import datatypes.r2.basic.ST;

public interface TYPE extends ANY {
	ST shortName();

	ST longName();

	BL implies(TYPE that);

	BL isComparableTo(TYPE that);
}
